A type system and analysis for the automatic extraction and enforcement of design informationLAM, Patrick; RINARD, Martin.Lecture notes in computer science. 2003, pp 275-302, issn 0302-9743, isbn 3-540-40531-3, 28 p.Conference Paper

Elimination of Malaria Risk through Integrated Combination Strategies in a Tropical Military Training IslandLEE, Vernon J; OW, Samuel; HEAH, Harold et al.The American journal of tropical medicine and hygiene. 2010, Vol 82, Num 6, pp 1024-1029, issn 0002-9637, 6 p.Article

A new family of sHDPE polymers for enhanced moisture barrier performanceAUBEE, Norman; LAM, Patrick; MARSHALL, Sarah et al.Journal of plastic film and sheeting. 2006, Vol 22, Num 4, pp 315-330, issn 8756-0879, 16 p.Article

A language for role specificationsKUNCAK, Viktor; LAM, Patrick; RINARD, Martin et al.Lecture notes in computer science. 2003, pp 366-382, issn 0302-9743, isbn 3-540-04029-3, 17 p.Conference Paper

Partially Evaluating Finite-State Runtime Monitors Ahead of TimeBODDEN, Eric; LAM, Patrick; HENDREN, Laurie et al.ACM transactions on programming languages and systems. 2012, Vol 34, Num 2, issn 0164-0925, 7.1-7.52Article

Quinidine RevisitedYANG, Felix; HANON, Sam; LAM, Patrick et al.The American journal of medicine. 2009, Vol 122, Num 4, pp 317-321, issn 0002-9343, 5 p.Article

Generalized lypestate checking for data structure consistencyLAM, Patrick; KUNCAK, Viktor; RINARD, Martin et al.Lecture notes in computer science. 2005, pp 430-447, issn 0302-9743, isbn 3-540-24297-X, 18 p.Conference Paper

Generalized typestate checking using set interfaces and pluggable analysesLAM, Patrick; KUNCAK, Viktor; RINARD, Martin et al.ACM SIGPLAN notices. 2004, Vol 39, Num 3, pp 46-55, issn 1523-2867, 10 p.Article

The efficacy and limitations of sirolimus conversion in liver transplant patients who develop renal dysfunction on calcineurin inhibitorsLAM, Patrick; YOSHIDA, Atsushi; BROWN, Kimberly et al.Digestive diseases and sciences. 2004, Vol 49, Num 6, pp 1029-1035, issn 0163-2116, 7 p.Article

Design of walking gaits for TAO-PIE-PIE, a small humanoid robotBALTES, Jacky; LAM, Patrick.Lecture notes in computer science. 2004, pp 355-365, issn 0302-9743, isbn 3-540-22443-2, 11 p.Conference Paper

Role analysisKUNCAK, Viktor; LAM, Patrick; RINARD, Martin et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 17-32, issn 1523-2867Conference Paper

Cellular universal IP for nested network mobilityLAM, Patrick P; LIEW, Soung C; LEE, Jack Y. B et al.Computer networks (1999). 2007, Vol 51, Num 12, pp 3617-3631, issn 1389-1286, 15 p.Article

Tension, abduction, and surgical technique affect footprint compression after rotator cuff repair in an ovine modelANDRES, Brett M; LAM, Patrick H; MURRELL, George A. C et al.Journal of shoulder and elbow surgery. 2010, Vol 19, Num 7, pp 1018-1027, issn 1058-2746, 10 p.Article

The market for green building in developed Asian cities―the perspectives of building designersCHAN, Edwin H. W; QIAN, Queena K; LAM, Patrick T. I et al.Energy policy. 2009, Vol 37, Num 8, pp 3061-3070, issn 0301-4215, 10 p.Article

AEDES ALBOPICTUS CONTROL WITH SPRAY APPLICATION OF BACILLUS THURINGIENSIS ISRAELENSIS, STRAIN AM 65-52LAM, Patrick Hy; BOON, Chia S; YNG, Ng Y et al.Southeast Asian journal of tropical medicine and public health. 2010, Vol 41, Num 5, pp 1071-1081, issn 0125-1562, 11 p.Article

Employing the Net Present Value-Consistent IRR Methods for PFI ContractsCHIANG, Y. H; CHENG, Eddie W. L; LAM, Patrick T. I et al.Journal of construction engineering and management. 2010, Vol 136, Num 7, pp 811-814, issn 0733-9364, 4 p.Article

Environmental management system vs green specifications: How do they complement each other in the construction industry?LAM, Patrick T. I; CHAN, Edwin H. W; CHAU, C. K et al.Journal of environmental management. 2011, Vol 92, Num 3, pp 788-795, issn 0301-4797, 8 p.Article

Drivers for Adopting Public Private Partnerships: Empirical Comparison between China and Hong Kong Special Administrative RegionCHAN, Albert P. C; LAM, Patrick T. I; CHAN, Daniel W. M et al.Journal of construction engineering and management. 2009, Vol 135, Num 11, pp 1115-1124, issn 0733-9364, 10 p.Article

Factors affecting buildability of building designsWONG, Franky W. H; LAM, Patrick T. I; CHAN, Edwin H. W et al.Canadian journal of civil engineering (Print). 2006, Vol 33, Num 7, pp 795-805, issn 0315-1468, 11 p.Article

Transgenic mouse overexpressing syntaxin-1A as a diabetes modelLAM, Patrick P. L; LEUNG, Yuk-Man; SHEU, Laura et al.Diabetes (New York, NY). 2005, Vol 54, Num 9, pp 2744-2754, issn 0012-1797, 11 p.Article

Critical Success Factors for PPPs in Infrastructure Developments: Chinese PerspectiveCHAN, Albert P. C; LAM, Patrick T. I; CHAN, Daniel W. M et al.Journal of construction engineering and management. 2010, Vol 136, Num 5, pp 484-494, issn 0733-9364, 11 p.Article

Empirical Study of the Risks and Difficulties in Implementing Guaranteed Maximum Price and Target Cost Contracts in ConstructionCHAN, Daniel W. M; CHAN, Albert P. C; LAM, Patrick T. I et al.Journal of construction engineering and management. 2010, Vol 136, Num 5, pp 495-507, issn 0733-9364, 13 p.Article

Constructability rankings of construction systems based on the analytical hierarchy processLAM, Patrick T. I; CHAN, Albert P. C; WONG, Francis K. W et al.Journal of architectural engineering. 2007, Vol 13, Num 1, pp 36-43, issn 1076-0431, 8 p.Article

Preparation of 1-(4-methoxyphenyl)-1H-pyrazolo[4,3-d]pyrimidin-7(6H)-ones as potent, selective and bioavailable inhibitors of coagulation factor XaFEVIG, John M; CACCIOLA, Joseph; BURIAK, Joseph et al.Bioorganic & medicinal chemistry letters (Print). 2006, Vol 16, Num 14, pp 3755-3760, issn 0960-894X, 6 p.Article

Reductive Isoxazole Ring Opening of the Anticoagulant Razaxaban Is the Major Metabolic Clearance Pathway in Rats and DogsDONGLU ZHANG; RAGHAVAN, Nirmala; SKILES, Gary L et al.Drug metabolism and disposition. 2008, Vol 36, Num 2, pp 303-315, issn 0090-9556, 13 p.Article